package JUC.第06章_内存模型之JMM;

/**
 * JMM(Java内存模型Java Memory Model,简称JMM)本身是一种抽象的概念并不真实存在，
 * 1.volatile  是Java虚拟机提供的轻量级的同步机制
 *     1.1：保证可见性     :   所有线程有自己的工作内存  操作main内存时 先复制再操作 再写入  通知其他线程
 *     1.2：不保证原子性   :   先复制再操作 再写入 中间有时间差 可能会有别的线程操作过了
 *     1.3：不允许重排列   :   在volatile变量进行写操作时加入store屏障指令   StoreStore  volatile写       StoreLoad
 *                          在volatile变量进行读操作时加入Load屏障指令      volatile读   LoadLoad      LoadStore
 *
 * 2.JMM   java内存模型//一种规范
 *    2.1：可见性        线程结束之前 ，必须刷新到主内存
 *    2.2：原子性        线程加锁之前，必须重新读取主内存到自己的工作内存
 *    2.3：有序性
 *
 *   JMM(Java内存模型Java Memory Model,简称JMM)本身是一种抽象的概念并不真实存在，
 *   它描述的是一组规则或规范，通过这组规范
 *   定义了程序中各个变量(包括实例字段，静态字段和构成数组对象的元素)的访问方式。
 *   由于JVM运行程序的实体是线程，而每个线程创建时JVM都会为其创建一个工作内存(有些地方称为栈空间)，
 *   工作内存是每个线程的私有数据区域，而Java内 存模型中规定所有变量都存储在主内存，
 *   主内存是共享内存区域，所有线程都可以访问，但线程对变量的操作(读取赋值等)必须在工作内存中进行，
 *   首先要将变量从主内存拷贝到的线程自己的工作内存空间，然后对变量进行操作，操作完成后再将变量写回主内存，
 *   不能直接操作主内存中的变量，各个线程中的工作内存中存储着主内存中的变量副本拷贝，
 *   因此不同的线程间无法访问对方的工作内存，线程间的通信(传值)必须通过主内存来完成，
 *
 *   因为有这么多级的缓存(cpu和物理主内存的速度不一致的)，
 *   CPU的运行并不是直接操作内存而是先把内存里边的数据读到缓存，而内存的读和写操作的时候就会造成不一致的问题
 *
 *   JVM规范中试图定义一种Java内存模型(java Memory Model, 简称JMM)
 *   来屏蔽掉各种硬件和操作系统的内存访问差异，
 *   以实现让Java程序在各种平台下都能达到一致的内存访问效果。
 */
/**
 * ------多线程的先行发生原则----------
 * 在JMM中,
 * 如果一个操作执行的结界需要对另一个操作可见性
 * 或者代码重排序，那么这两个操作之间必须存在happens-before(先行发生)原则。
 * 逻辑上的先后关系
 *
 * 如果对结果没影响,可以随意重排
 *
 * happens-before(先行发生)原则  生死   只有生下来才会死
 * 1.次序规则  按照代码顺序，写在前面的操作先行发生于写在后面的操作;
 * 2.锁定规则
 *      对于同一把锁objectLock, threadA一定先unlock同一把锁后B才能获理该锁， A先行发生于8
 * 3.volatile变量规则
 *      对一个volatile变量的写操作先行发生于后面对这个变量的读操作，
 *      前面的写对后面的读是可见的，这里的“后面”同样是指时间上的先后。
 * 4.传递规则 爷爷->爸爸->我->儿子
 * 5.线程启动规则(Thread Start Rule)  必须先start执行后在执行线程里的内容
 * 6.线程中断规则(Thread Interruption Rule)
 *      对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生;
 *      可以通过Thread.interrupted()检测到是杏发生中断
 *      也就是说你要先调用interrupt()方法设置过中断标志位，我才能检测到中断发送
 * 7.线程终止规则(Thread Termination Rule)
 *      线程中的所有操作都先行发生于对此线程的终止检测，
 *      我们可以通过isAlive()等手段检测线程是否已经终止执行。
 * 8.对象终结规则(Finalizer Rule)
 *      一个对象的初始化完成(构造函数执行结束)先行发生于它的finalize()(对象垃圾回收调用的方法)方法的开始
 *      对象没有完成初始化之前，是不能调用finalized()方法的
 *
 * happens-before(先行发生)原则  相当于一个可见性
 * A Happens-Before B意味着A发生过的事情对B来说是可见的，无论A事件和B事件是否发生在同一个线程里.
 *
 * JMM的设计分为两部分:
 * ●一部分是面向我们程序员提供的，也就是happens-before规则，它通俗易懂的向我们程序员阐述了一个强内存模型，
 * 我们只要理解 happens-before 规则，就可以编写并发安全的程序了。
 * ●另一部分是针对JVM实现的，为了尽可能少的对编译器和处理器做约束从而提高性能，
 * JMM在不影响程序执行结果的前提下对其不做要求，即允许优化重排序。
 * 我们只需要关注前者就好了，也就是理解happens-before规则即可，
 * 其它繁杂的内容有JMM规范结合操作系统给我们搞定，我们只写好代码即可。
 *
 */
public class A_JMM概念 {
}
